signature DESSA_STRUCTS =
sig
  structure Cfg : CFG
end

signature DESSA =
sig
  include DESSA_STRUCTS
  
  val trans : Cfg.Program.t -> Cfg.Program.t
end
